Aït-Kaci, Hassan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Login: a logic programming language with built-in inheritance

Hassan Aït-Kaci, Roger Nasr

Journal:

The Journal of Logic Programming

Year:

1986

Language:

english

File:

PDF, 1.88 MB

english, 1986

2

Integrating logic and functional programming

Hassan Ait-Kaci, Roger Nasr

Journal:

Higher-Order and Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 2.65 MB

english, 1989

3

Towards a meaning of life

Hassan Aït-Kaci, Andreas Podelski

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 2.97 MB

english, 1993

4

A feature constraint system for logic programming with entailment

Hassan Aït-Kaci, Andreas Podelski, Gert Smolka

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.47 MB

english, 1994

5

An efficient and large-scale reasoning method for the semantic Web

Amir, Samir, Aït-Kaci, Hassan

Journal:

Journal of Intelligent Information Systems

Year:

2017

Language:

english

File:

PDF, 6.34 MB

english, 2017

6

An algebraic semantics approach to the effective resolution of type equations

Hassan Aït-Kaci

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 3.49 MB

english, 1986

7

Label-selective λ-calculus syntax and confluence

Hassan Aït-Kaci, Jacques Garrigue

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.40 MB

english, 1995

8

Order-sorted feature theory unification

Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein

Journal:

The Journal of Logic Programming

Year:

1997

File:

PDF, 1.18 MB

1997

9

Inheritance hierarchies: Semantics and unification

Gert Smolka, Hassan Ait-Kaci

Journal:

Journal of Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 1.68 MB

english, 1989

10

Implementing a knowledge-based library information system with typed horn logic

Hassan Aït-Kaci, Roger Nasr, Jungyun Seo

Journal:

Information Processing & Management

Year:

1990

Language:

english

File:

PDF, 1.60 MB

english, 1990

11

[IEEE 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2014.11.10-2014.11.13)] 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - CedCom: A high-performance architecture for Big Data applications

Raynaud, Tanguy, Haque, Rafiqul, Ait-kaci, Hassan

Year:

2014

Language:

english

File:

PDF, 427 KB

english, 2014

12

Functions as passive constraints in LIFE

Aït-Kaci, Hassan, Podelski, Andreas

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 2.50 MB

english, 1994

13

Efficient implementation of lattice operations

Aït-Kaci, Hassan, Boyer, Robert, Lincoln, Patrick, Nasr, Roger

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1989

Language:

english

File:

PDF, 1.97 MB

english, 1989

14

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - The typed polymorphic label-selective λ-calculus

Garrigue, Jacques, Aït-Kaci, Hassan

Year:

1994

Language:

english

File:

PDF, 1.24 MB

english, 1994

15

[ACM Press the 13th ACM SIGACT-SIGPLAN symposium - St. Petersburg Beach, Florida (1986.01.01-..)] Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86 - Logic and inheritance

Aït-Kaci, Hassan, Nasr, Roger

Year:

1986

Language:

english

File:

PDF, 1.49 MB

english, 1986

16

Classifying and querying very large taxonomies with bit-vector encoding

Aït-Kaci, Hassan, Amir, Samir

Journal:

Journal of Intelligent Information Systems

Year:

2017

Language:

english

File:

PDF, 1.29 MB

english, 2017

17

[IEEE 2014 Tenth International Conference on Signal-Image Technology & Internet-Based Systems (SITIS) - Marrakech, Morocco (2014.11.23-2014.11.27)] 2014 Tenth International Conference on Signal-Image Technology and Internet-Based Systems - CEDAR: Efficient Reasoning for the Semantic Web

Amir, Samir, Ait-Kaci, Hassan

Year:

2014

Language:

english

File:

PDF, 254 KB

english, 2014

18

[IEEE 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Lyon, France (2011.08.22-2011.08.27)] 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - A Sorted-Graph Unification Approach to the Semantic Web

Aït-Kaci, Hassan

Year:

2011

Language:

english

File:

PDF, 238 KB

english, 2011

19

[IEEE 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Lyon, France (2011.08.22-2011.08.27)] 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - A Sorted-Graph Unification Approach to the Semantic Web

Aït-Kaci, Hassan

Year:

2011

Language:

english

File:

PDF, 238 KB

english, 2011